#include<stdio.h>
int main(){
    FILE* fp=fopen("t","w");
    fprintf(fp,"\07234567");
    fclose(fp);
    return 0;
}